Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen

Rechensysteme werden sowohl bzgl. funktionaler Aspekte (z.B. Betrachtung von Deadlocks) als auch hinsichtlich quantitativer Aspekte (z.B. Betrachtung des Durchsatzes) untersucht. Der Einsatz von Petri-Netzen bzw. Warteschlangennetzen bietet sich hierbei an, da für beide Modellwelten eine fundierte Theorie existiert. Um zu vermeiden, daß zwei Modelle für ein System erstellt werden müssen, existieren bereits einige Modellwelten zur Verbindung der Betrachtung funktionaler und quantitativer Gesichtspunkte eines Systems. Besonders stark ist dabei in den letzten Jahren die Linie der Time(d)-Petri-Netze hervorgetreten. Nachteilig wirkt sich bei ihnen allerdings aus, daß die Beschreibungsmittel stark an der Petri-Netz-Philosophie angelehnt sind und häufig für Warteschlangenmodellierer unpassend sind. Diese Arbeit stellt eine Modellwelt vor, welche Warteschlangennetzund Petri-Netz-Beschreibungen vereint und so den Beschreibungsaufwand reduziert bzw. die Beschreibung vereinfacht. Ferner wird untersucht, inwieweit funktionale Ergebnisse Aussagen über das quantitative Modell zulassen.